TU Berlin

Modelle und Theorie Verteilter SystemePublikationen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Publikationen

On Bisimulations for the Spi Calculus
Zitatschlüssel DBLP:conf/amast/BorgstromN02
Autor Johannes Borgström and Uwe Nestmann
Buchtitel AMAST
Seiten 287-303
Jahr 2002
Link zur Originalpublikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe